A Toolkit for Constructing Type- and Constraint-Based Program Analyses
نویسندگان
چکیده
BANE (the Berkeley Analysis Engine) is a publicly available toolkit for constructing type-and constraint-based program analyses. 1 We describe the goals of the project, the rationale for BANE's overall design, some examples coded in BANE, and brieey compare BANE with other program analysis frameworks.
منابع مشابه
Banshee: A Scalable Constraint-Based Analysis Toolkit
We introduceBanshee, a toolkit for constructing constraintbased analyses. Banshee’s novel features include a code generator for creating customized constraint resolution engines, incremental analysis based on backtracking, and fast persistence. These features make Banshee useful as a foundation for production program analyses.
متن کاملBanshee: A Practical Constraint-Based Analysis Toolkit
We introduceBanshee, a toolkit for constructing constraintbased program analyses. Banshee’s novel features include a code generator for creating customized constraint resolution engines, an incremental analysis facility based on backtracking, and fast persistence based on serializing regions of memory. These features make Banshee useful not only for rapid prototyping, but also as a foundation f...
متن کاملA toolkit for static analysis of constraint logic programs
Generic systems for the analysis of logic programs have been proposed over the last decade or so. Considerable progress has been made in terms of frameworks, algorithms, abstract domains and implementations. A number of generic top-down procedural frameworks are widely available. However, implementation e orts for bottom-up declarative frameworks are in a preliminary stage. In this thesis we de...
متن کاملTranslation, Adaptation and Validation of Referral Systems Assessment and Monitoring Toolkit for the Family Physicians Program in Iran
Background and purpose: Studies on the function of referral system in Iran had not covered all aspects and structures of the referral system. This could be due to lack of an appropriate tool that could investigate referral system in Iran. The current study was done to translate and investigate the validation of Referral Systems Assessment and Monitoring (RSAM) Toolkit based on family physician ...
متن کاملMetis - An Object-Oriented Toolkit for Constructing Virtual Reality Applications
Virtual reality systems provide realistic look and feel by seamlessly integrating three-dimensional input and output devices. One software architecture approach to constructing such systems is to distribute the application between a computation-intensive simulator back-end and a graphics-intensive viewer frontend which implements user interaction. In this paper we discuss Metis, a toolkit we ha...
متن کامل